3

Quantum communication with Gaussian channels of zero quantum capacity

Year:
2011
Language:
english
File:
PDF, 526 KB
english, 2011
13

Preface

Year:
2008
Language:
english
File:
PDF, 71 KB
english, 2008
14

Model Checking Downward Simulations

Year:
2005
Language:
english
File:
PDF, 287 KB
english, 2005
19

Structural Refinement of Systems Specified in Object-Z and CSP

Year:
2003
Language:
english
File:
PDF, 241 KB
english, 2003
20

Verifying data refinements using a model checker

Year:
2006
Language:
english
File:
PDF, 224 KB
english, 2006
21

Editorial

Year:
2010
Language:
english
File:
PDF, 30 KB
english, 2010
22

Using Model Checking to Automatically Find Retrieve Relations

Year:
2008
Language:
english
File:
PDF, 319 KB
english, 2008
27

Mixing efficiency in side-vented coating equipment

Year:
2003
Language:
english
File:
PDF, 262 KB
english, 2003
30

Temporal-logic property preservation under Z refinement

Year:
2012
Language:
english
File:
PDF, 313 KB
english, 2012
50

Bound Entangled States with a Private Key and their Classical Counterpart

Year:
2014
Language:
english
File:
PDF, 235 KB
english, 2014